A Semi-Quantitative Physics Compiler
نویسندگان
چکیده
Incomplete information is present in many engineering domains, hindering traditional and non—traditional simulation techniques. This paper describes SQPC (semi—quantitative physics compiler), an implemented approach to modelling and simulation that can predict the behavior of incompletely specified systems, such as those that arise in the water control domain. SQPC is the first system that unifies compositional modeling techniques with semi—quantitative representations. We describe SQPC’s foundations, QS1M and QPC, and how it extends them. We demonstrate SQPC using an example from the water supply domain.
منابع مشابه
Semi { Quantitative Physics Compiler : where are we now and where are we going ?
Incomplete information is present in many engineering domains, hindering traditional and non{traditional simulation techniques. This paper describes SQPC (semi{quantitative physics compiler), an implemented approach to modelling and simulation that can predict the behavior of incompletely speciied systems, such as those that arise in the water control domain. SQPC is the rst system that uniies ...
متن کاملAutomatic Prostate Cancer Segmentation Using Kinetic Analysis in Dynamic Contrast-Enhanced MRI
Background: Dynamic contrast enhanced magnetic resonance imaging (DCE-MRI) provides functional information on the microcirculation in tissues by analyzing the enhancement kinetics which can be used as biomarkers for prostate lesions detection and characterization.Objective: The purpose of this study is to investigate spatiotemporal patterns of tumors by extracting semi-quantitative as well as w...
متن کاملHEPMath 1.4: A mathematica package for semi-automatic computations in high energy physics
This article introduces the Mathematica package HEPMath which provides a number of utilities and algorithms for High Energy Physics computations in Mathematica. Its functionality is similar to packages like FormCalc or FeynCalc, but it takes a more complete and extensible approach to implementing common High Energy Physics notations in the Mathematica language, in particular those related to te...
متن کاملThe Assessment of Structural Changes in MS Plaques and Normal Appearing White Matter Using Quantitative Magnetization Transfer Imaging (MTI)
Introduction: Multiple sclerosis (MS) is a demyelinating disease of the central nervous system (CNS), affecting mostly young people at a mean age of 30 years. Magnetic resonance imaging (MRI) is one of the most specific and sensitive methods in diagnosing and detecting the evolution of multiple sclerosis disease. But it does not have the ability to differentiate between distinct histopathologic...
متن کاملDynamic process monitoring and fault diagnosis with qualitative models
18] P. M. Frank. Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy { a survey and some new results. detection in an experimental heat exchanger process: a multiple model approach. Knowledge-based diagnosis systems for continuous process operations based upon the task framework. 26 models to the data in a Qmimic-style system is currently being studied 33]. A comp...
متن کامل